Lightening global types
نویسندگان
چکیده
منابع مشابه
Lightening global types
Global session types prevent participants from waiting for never coming messages. Some interactions take place just for the purpose of informing receivers that some message will never arrive or the session is terminated. By decomposing a big global type into several light global types, one can avoid such kind of redundant interactions. Lightening global types gives us cleaner global types, whic...
متن کاملLightening the Load
Autism spectrum disorder (ASD) research portrays a mixed picture of attentional abilities with demonstrations of enhancements (e.g., superior visual search) and deficits (e.g., higher distractibility). Here we test a potential resolution derived from the Load Theory of Attention (e.g., Lavie, 2005). In Load Theory, distractor processing depends on the perceptual load of the task and as such can...
متن کاملLightening the Load Lightening the Load Labour-saving technologies and practices for rural women
All rights reserved. Reproduction and dissemination of material in this information product for educational or other non-commercial purposes are authorized without any prior written permission from the copyright holders provided the source is fully acknowledged. Reproduction of material in this information product for resale or other commercial purposes is prohibited without written permission ...
متن کاملGlobal Types and Network Services
Mobility seems to be a fundamental aspect for global computing, however it gives rise to a lot of relevant security problems. We address the problem of protecting hosts from attacks or misbehavior of mobile processes. We propose to move process abstractions, i.e. process parameterized with respect to the operations having a local meaning, instead of processes ready-to-run or active processes (a...
متن کاملThe timing of pigmentation lightening in Europeans.
The inverse correlation between skin pigmentation and latitude observed in human populations is thought to have been shaped by selective pressures favoring lighter skin to facilitate vitamin D synthesis in regions far from the equator. Several candidate genes for skin pigmentation have been shown to exhibit patterns of polymorphism that overlap the geospatial variation in skin color. However, l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming
سال: 2015
ISSN: 2352-2208
DOI: 10.1016/j.jlamp.2015.06.003